Calculating Limits and Colimits in Pro-categories
نویسنده
چکیده
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. Also, we show that cofiltered limits in pro-categories commute with finite colimits.
منابع مشابه
Limits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملA Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملA characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملOn Sifted Colimits and Generalized Varieties
Filtered colimits, i.e., colimits over schemes D such that D-colimits in Set commute with finite limits, have a natural generalization to sifted colimits: these are colimits over schemes D such that D-colimits in Set commute with finite products. An important example: reflexive coequalizers are sifted colimits. Generalized varieties are defined as free completions of small categories under sift...
متن کاملHomotopy (limits And) Colimits
These notes were written to accompany two talks given in the Algebraic Topology and Category Theory Proseminar at the University of Chicago in Winter 2009. When a category has some notion of limits and colimits associated to it, its ordinary limits and colimits are not necessarily homotopically meaningful. We describe a notion of a “homotopy colimit” for two sorts of categories with a homotopy ...
متن کامل